第4章 帰納法で、足し算の性質を証明する